منابع مشابه
Tackling the Minimal Superpermutation Problem
A superpermutation on n symbols is a string that contains each of the n! permutations of the n symbols as a contiguous substring. The shortest superpermutation on n symbols was conjectured to have length ∑n i=1 i!. The conjecture had been verified for n ≤ 5. We disprove it by exhibiting an explicit counterexample for n = 6. This counterexample was found by encoding the problem as an instance of...
متن کاملTackling Post's Correspondence Problem
Post’s correspondence problem (PCP) is a classic undecidable problem. Its theoretical unbounded search space makes it hard to judge whether a PCP instance has a solution, and to find the solutions if they exist. In this paper, we describe new application-dependent methods used to efficiently find optimal solutions to individual instances, and to identify instances with no solution. We also prov...
متن کاملThe Myview System: Tackling the Interface Problem
The MyView system aims at gathering bibliographic information from a diversity of heterogeneous distributed Internet repositories like electronic journals, text archives, and traditional libraries. It maintains a personalized warehouse for bibliographic data in a uniied scheme which is locally available for browsing, ad-hoc queries, rearrangements, and analysis. To specify a user's information ...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Alimentary Pharmacology & Therapeutics
سال: 2001
ISSN: 0269-2813
DOI: 10.1046/j.1365-2036.2001.00116.x